# --- Location of QDD/BDD package installation
QDDLOC = ..

# --- Location of QDD/BDD library
LIBDIR = $(QDDLOC)/lib

# --- Location of QDD/BDD headers
INCDIR = $(QDDLOC)/include

# --- Compiler flags
CFLAGS = -g -O3 -Wall

# --- C++ compiler
CPP = g++

all: libg++.a

libg++.a: Integer.o
	ar r libg++.a Integer.o
	ranlib libg++.a

Integer.o: Integer.cc IntegerZ.h
	$(CPP) $(CFLAGS) -c Integer.cc -o Integer.o

clean:
	rm -rf Integer.o libg++.a

install:
	cp -f libg++.a $(LIBDIR)/.
	chmod 644 $(LIBDIR)/libg++.a
	cp -f IntegerZ.h $(INCDIR)/.
